%0 Conference Paper %1 conf/kr/FrischS91 %A Frisch, Alan M. %A Scherl, Richard B. %B KR %D 1991 %E Allen, James F. %E Fikes, Richard %E Sandewall, Erik %I Morgan Kaufmann %K dblp %P 196-207 %T A General Framework for Modal Deduction. %U http://dblp.uni-trier.de/db/conf/kr/kr91.html#FrischS91 %@ 1-55860-165-1

@inproceedings{conf/kr/FrischS91, added-at = {2012-05-18T00:00:00.000+0200}, author = {Frisch, Alan M. and Scherl, Richard B.}, biburl = {https://www.bibsonomy.org/bibtex/21e958182d48eaafeb4a6448076b6d608/dblp}, booktitle = {KR}, crossref = {conf/kr/1991}, editor = {Allen, James F. and Fikes, Richard and Sandewall, Erik}, interhash = {b95328122ac8b97e51f23095fe081972}, intrahash = {1e958182d48eaafeb4a6448076b6d608}, isbn = {1-55860-165-1}, keywords = {dblp}, pages = {196-207}, publisher = {Morgan Kaufmann}, timestamp = {2012-05-19T11:39:40.000+0200}, title = {A General Framework for Modal Deduction.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr91.html#FrischS91}, year = 1991 }