@article{Fikes+Nilsson:1971,
	author = "Fikes, R. E. and Nilsson, Nils J.",
	year = "1971",
	title = "{STRIPS}: {A} new approach to the application of theorem proving to problem solving",
	journal = aij,
	volume = "2",
	_number = "3--4",
	pages = "189--208"
}

{"_id":{"_str":"534279620e946d920a001511"},"__v":152,"authorIDs":["5462a2ba8a9aab071c000505"],"author_short":["Fikes, R. E.","Nilsson, N. J."],"bibbaseid":"fikes-nilsson-stripsanewapproachtotheapplicationoftheoremprovingtoproblemsolving-1971","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Fikes"],"firstnames":["R.","E."],"suffixes":[]},{"propositions":[],"lastnames":["Nilsson"],"firstnames":["Nils","J."],"suffixes":[]}],"year":"1971","title":"STRIPS: A new approach to the application of theorem proving to problem solving","journal":"AIJ","volume":"2","_number":"3–4","pages":"189–208","bibtex":"@article{Fikes+Nilsson:1971,\n\tauthor = \"Fikes, R. E. and Nilsson, Nils J.\",\n\tyear = \"1971\",\n\ttitle = \"{STRIPS}: {A} new approach to the application of theorem proving to problem solving\",\n\tjournal = aij,\n\tvolume = \"2\",\n\t_number = \"3--4\",\n\tpages = \"189--208\"\n}\n\n","author_short":["Fikes, R. E.","Nilsson, N. J."],"key":"Fikes+Nilsson:1971-1","id":"Fikes+Nilsson:1971-1","bibbaseid":"fikes-nilsson-stripsanewapproachtotheapplicationoftheoremprovingtoproblemsolving-1971","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"https://aima.cs.berkeley.edu/aima4e.bib","downloads":0,"keywords":[],"search_terms":["strips","new","approach","application","theorem","proving","problem","solving","fikes","nilsson"],"title":"STRIPS: A new approach to the application of theorem proving to problem solving","year":1971,"dataSources":["ivTWmqfM6xcSHRfBa","BBkjciKCmRFKkzdZa","BLJPWpPi3hneTGaPF","cx4WvnDhXJhiLqdQo"]}