%0 Journal Article %1 journals/igpl/FermullerL98 %A Fermüller, Christian G. %A Leitsch, Alexander %D 1998 %J Logic Journal of the IGPL %K dblp %N 1 %P 17-41 %T Decision Procedures and Model Building in Equational Clause Logic. %U http://dblp.uni-trier.de/db/journals/igpl/igpl6.html#FermullerL98 %V 6

@article{journals/igpl/FermullerL98, added-at = {2011-06-29T00:00:00.000+0200}, author = {Fermüller, Christian G. and Leitsch, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/25572479102d012d84b3c728bbfc01f28/dblp}, ee = {http://dx.doi.org/10.1093/jigpal/6.1.17}, interhash = {aee886c7d483465b85ae34662ab20bf3}, intrahash = {5572479102d012d84b3c728bbfc01f28}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 1, pages = {17-41}, timestamp = {2011-06-30T11:38:12.000+0200}, title = {Decision Procedures and Model Building in Equational Clause Logic.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl6.html#FermullerL98}, volume = 6, year = 1998 }