@techreport{pps,
	Address = {Toronto},
	Author = {Peter F. Patel-Schneider},
	Institution = {University of Toronto},
	Month = {May},
	Number = {201/87},
	Title = {Decidable, Logic-Based Knowledge Representation},
	Type = {Technical Report},
	Year = {1987}}

{"_id":{"_str":"534279640e946d920a0017fd"},"__v":1,"authorIDs":[],"author_short":["Patel-Schneider, P. F."],"bibbaseid":"patelschneider-decidablelogicbasedknowledgerepresentation-1987","bibdata":{"bibtype":"techreport","type":"Technical Report","address":"Toronto","author":[{"firstnames":["Peter","F."],"propositions":[],"lastnames":["Patel-Schneider"],"suffixes":[]}],"institution":"University of Toronto","month":"May","number":"201/87","title":"Decidable, Logic-Based Knowledge Representation","year":"1987","bibtex":"@techreport{pps,\n\tAddress = {Toronto},\n\tAuthor = {Peter F. Patel-Schneider},\n\tInstitution = {University of Toronto},\n\tMonth = {May},\n\tNumber = {201/87},\n\tTitle = {Decidable, Logic-Based Knowledge Representation},\n\tType = {Technical Report},\n\tYear = {1987}}\n\n","author_short":["Patel-Schneider, P. F."],"key":"pps","id":"pps","bibbaseid":"patelschneider-decidablelogicbasedknowledgerepresentation-1987","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"techreport","biburl":"http://www.cs.toronto.edu/cogs/bib/standard-long.bib","downloads":0,"keywords":[],"search_terms":["decidable","logic","based","knowledge","representation","patel-schneider"],"title":"Decidable, Logic-Based Knowledge Representation","year":1987,"dataSources":["2cjnbEWxd35GBeqEe"]}