%0 Conference Paper %1 conf/cade/LuskMO82 %A Lusk, Ewing L. %A McCune, William %A Overbeek, Ross A. %B CADE %D 1982 %E Loveland, Donald W. %I Springer %K dblp %P 70-84 %T Logic Machine Architecture: Kernel Funtions. %U http://dblp.uni-trier.de/db/conf/cade/cade82.html#LuskMO82 %V 138 %@ 3-540-11558-7

@inproceedings{conf/cade/LuskMO82, added-at = {2017-05-19T00:00:00.000+0200}, author = {Lusk, Ewing L. and McCune, William and Overbeek, Ross A.}, biburl = {https://www.bibsonomy.org/bibtex/278d1426c3745739830efec0e01b90859/dblp}, booktitle = {CADE}, crossref = {conf/cade/1982}, editor = {Loveland, Donald W.}, ee = {https://doi.org/10.1007/BFb0000052}, interhash = {bb37a30d0cb283d5126876f5ec2b052e}, intrahash = {78d1426c3745739830efec0e01b90859}, isbn = {3-540-11558-7}, keywords = {dblp}, pages = {70-84}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:28.000+0200}, title = {Logic Machine Architecture: Kernel Funtions.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade82.html#LuskMO82}, volume = 138, year = 1982 }