%0 Journal Article %1 journals/ai/Frisch91 %A Frisch, Alan M. %D 1991 %J Artif. Intell. %K dblp %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 = {2021-10-14T00:00:00.000+0200}, author = {Frisch, Alan M.}, biburl = {https://www.bibsonomy.org/bibtex/2ff2536413d44dce172ab0a25eea71faa/dblp}, ee = {https://doi.org/10.1016/0004-3702(91)90009-9}, interhash = {0d355cd982901db21bf6d30a7e2303e1}, intrahash = {ff2536413d44dce172ab0a25eea71faa}, journal = {Artif. Intell.}, keywords = {dblp}, number = {1-3}, pages = {161-198}, timestamp = {2024-04-08T17:20:35.000+0200}, 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 }