@ARTICLE{Hanus95JLP,
AUTHOR = {Hanus, Michael},
TITLE = {Analysis of Residuating Logic Programs},
JOURNAL = {Journal of Logic Programming},
PUBLISHER = {Elsevier},
YEAR = {1995},
NUMBER = {3},
VOLUME = {24},
PAGES = {219--245},
ADDRESS = {Amsterdam, the Netherlands},
ISBN = {0743-1066},
}
Entry last modified by Christine Kiesel, 03/12/2010