@article{gabaldon_precondition_2004,
	title = {Precondition control and the progression algorithm},
	url = {http://scholar.google.co.uk/scholar?q=precondition+control&hl=en&btnG=Search#0},
	number = {Gabaldon 2002},
	journal = {Principles of Knowledge Representation and Reasoning},
	author = {Gabaldon, Alfredo},
	year = {2004},
	note = {ISBN: 1577352009},
	pages = {634--643}
}

{"_id":"WBQ8g7uMDXHbBkZGe","bibbaseid":"gabaldon-preconditioncontrolandtheprogressionalgorithm-2004","authorIDs":[],"author_short":["Gabaldon, A."],"bibdata":{"bibtype":"article","type":"article","title":"Precondition control and the progression algorithm","url":"http://scholar.google.co.uk/scholar?q=precondition+control&hl=en&btnG=Search#0","number":"Gabaldon 2002","journal":"Principles of Knowledge Representation and Reasoning","author":[{"propositions":[],"lastnames":["Gabaldon"],"firstnames":["Alfredo"],"suffixes":[]}],"year":"2004","note":"ISBN: 1577352009","pages":"634–643","bibtex":"@article{gabaldon_precondition_2004,\n\ttitle = {Precondition control and the progression algorithm},\n\turl = {http://scholar.google.co.uk/scholar?q=precondition+control&hl=en&btnG=Search#0},\n\tnumber = {Gabaldon 2002},\n\tjournal = {Principles of Knowledge Representation and Reasoning},\n\tauthor = {Gabaldon, Alfredo},\n\tyear = {2004},\n\tnote = {ISBN: 1577352009},\n\tpages = {634--643}\n}\n\n","author_short":["Gabaldon, A."],"key":"gabaldon_precondition_2004","id":"gabaldon_precondition_2004","bibbaseid":"gabaldon-preconditioncontrolandtheprogressionalgorithm-2004","role":"author","urls":{"Paper":"http://scholar.google.co.uk/scholar?q=precondition+control&hl=en&btnG=Search#0"},"downloads":0},"bibtype":"article","biburl":"https://bibbase.org/zotero/tillhofmann","creationDate":"2019-12-09T14:42:18.233Z","downloads":0,"keywords":[],"search_terms":["precondition","control","progression","algorithm","gabaldon"],"title":"Precondition control and the progression algorithm","year":2004,"dataSources":["9pYjFWPBodPyDyb7N"]}