@article{journals/ai/Frisch91,
	title = {The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.},
	author = {Alan M. Frisch},
	journal = {Artif. Intell.},
	number = {1-3},
	pages = {161-198},
	url = {http://dblp.uni-trier.de/db/journals/ai/ai49.html#Frisch91},
	volume = {49},
	year = {1991},
	biburl = {http://www.bibsonomy.org/bibtex/2ff2536413d44dce172ab0a25eea71faa/sebastian},
	ee = {http://dx.doi.org/10.1016/S0004-3702(03)00135-8},
	keywords = {frisch hybrid new }
}