@ARTICLE{Hanus91c,
AUTHOR = {Hanus, Michael},
TITLE = {Horn Clause Programs with Polymorphic Types: Semantics and Resolution},
JOURNAL = {Theoretical Computer Science},
PUBLISHER = {North-Holland Publishing Co.},
YEAR = {1991},
NUMBER = {-},
VOLUME = {89},
PAGES = {63--106},
ISBN = {0304-3975},
}
Entry last modified by Uwe Brahm, 08/25/2014