%0 Journal Article %1 journals/ai/Frisch91 %A Frisch, Alan M. %D 1991 %J Artif. Intell. %K frisch hybrid new %N 1-3 %P 161-198 %T The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. %U http://dblp.uni-trier.de/db/journals/ai/ai49.html#Frisch91 %V 49

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