%0 Conference Paper %1 conf/ijcai/AuffrayE89 %A Auffray, Yves %A Enjalbert, Patrice %B IJCAI %D 1989 %E Sridharan, N. S. %I Morgan Kaufmann %K dblp %P 441-445 %T Modal Theorem Proving: An Equational Viewpoint. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai89.html#AuffrayE89 %@ 1-55860-094-9

@inproceedings{conf/ijcai/AuffrayE89, added-at = {2019-08-20T00:00:00.000+0200}, author = {Auffray, Yves and Enjalbert, Patrice}, biburl = {https://www.bibsonomy.org/bibtex/2416b439407b12957e7ff0879364c3324/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1989}, editor = {Sridharan, N. S.}, ee = {http://ijcai.org/Proceedings/89-1/Papers/071.pdf}, interhash = {c0be51f00abaf2005cedf50c20c02294}, intrahash = {416b439407b12957e7ff0879364c3324}, isbn = {1-55860-094-9}, keywords = {dblp}, pages = {441-445}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:56:11.000+0200}, title = {Modal Theorem Proving: An Equational Viewpoint.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai89.html#AuffrayE89}, year = 1989 }