@inproceedings{Mannion:2002,
	author = {Mike Mannion},
	title = {Using First-Order Logic for Product Line Model Validation},
	booktitle = {Software Product Lines: Second International Conference},
	_publisher = {Springer},
	year = 2002
}

{"_id":"6F4whNAkdJZkx8zMd","bibbaseid":"mannion-usingfirstorderlogicforproductlinemodelvalidation-2002","author_short":["Mannion, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mike"],"propositions":[],"lastnames":["Mannion"],"suffixes":[]}],"title":"Using First-Order Logic for Product Line Model Validation","booktitle":"Software Product Lines: Second International Conference","_publisher":"Springer","year":"2002","bibtex":"@inproceedings{Mannion:2002,\n\tauthor = {Mike Mannion},\n\ttitle = {Using First-Order Logic for Product Line Model Validation},\n\tbooktitle = {Software Product Lines: Second International Conference},\n\t_publisher = {Springer},\n\tyear = 2002\n}\n\n","author_short":["Mannion, M."],"key":"Mannion:2002","id":"Mannion:2002","bibbaseid":"mannion-usingfirstorderlogicforproductlinemodelvalidation-2002","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://aima.cs.berkeley.edu/aima4e.bib","dataSources":["cx4WvnDhXJhiLqdQo"],"keywords":[],"search_terms":["using","first","order","logic","product","line","model","validation","mannion"],"title":"Using First-Order Logic for Product Line Model Validation","year":2002}