Harald Ganzinger and David A. McAllester.
Logical Algorithms.
In P. J. Stuckey, editor,
ICLP02l,
volume 2401 of LNCS,
pages 209-223,
jul/aug 2002.
SV.
Keyword(s): related formalisms.
This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein
are retained by authors or by other copyright holders.
Last Update
Thu Mar 24 16:28:47 2022
Authors
This bibliography was compiled by the following authors:
Peter Van Weert
Jon Sneyers
Tom Schrijvers
Leslie De Koninck
Falco Nogatz
Thom Frühwirth
Daniel Gall
Please send BibTEX entries of missing CHR-related publications to Falco Nogatz.
Credits
This document was generated from BibTEX by
bibtex2html.