Proving properties of logic programs: summary of progress

Alan Bundy, L. A. Wallen

Research output: Working paper

Original languageEnglish
Publication statusUnpublished - Sept 1986

Publication series

NameDAI research paper No. 312

Access to Document

    Cite this