Decidable, Logic-Based Knowledge Representation. Patel-Schneider, P. F. Technical Report 201/87, University of Toronto, Toronto, May, 1987.
bibtex   
@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}}

Downloads: 0