%0 Conference Paper %1 conf/slp/LeuschelM95 %A Leuschel, Michael %A Martens, Bern %B ILPS %D 1995 %E Lloyd, John W. %I MIT Press %K dblp %P 495-509 %T Partial Deduction of the Ground Representation and its Application to Integrity Checking. %U http://dblp.uni-trier.de/db/conf/slp/slp95.html#LeuschelM95 %@ 0-262-62099-5

@inproceedings{conf/slp/LeuschelM95, added-at = {2021-08-11T00:00:00.000+0200}, author = {Leuschel, Michael and Martens, Bern}, biburl = {https://www.bibsonomy.org/bibtex/24d2235871ddf4be19dcc4142b0616830/dblp}, booktitle = {ILPS}, crossref = {conf/slp/1995}, editor = {Lloyd, John W.}, ee = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300030}, interhash = {c14c3b0371f4d6082562c88c2ef2da00}, intrahash = {4d2235871ddf4be19dcc4142b0616830}, isbn = {0-262-62099-5}, keywords = {dblp}, pages = {495-509}, publisher = {MIT Press}, timestamp = {2024-04-09T09:39:58.000+0200}, title = {Partial Deduction of the Ground Representation and its Application to Integrity Checking.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp95.html#LeuschelM95}, year = 1995 }