Type Dependencies for Logic Programs Using ACI-Unification

Michael Codish, Vitaly Lagoon

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationFourth Israel Symposium on Theory of Computing and Systems, ISTCS 1996, Jerusalem, Israel, June 10-12, 1996, Proceedings
PublisherIEEE Computer Society
Pages136-145
Number of pages10
StatePublished - 1996

Cite this