Edinburgh Research Explorer

Proving properties of logic programs: summary of progress

Research output: Working paper

Standard

Proving properties of logic programs: summary of progress. / Bundy, Alan; Wallen, L. A.

1986. (DAI research paper No. 312).

Research output: Working paper

Harvard

Bundy, A & Wallen, LA 1986 'Proving properties of logic programs: summary of progress' DAI research paper No. 312.

APA

Bundy, A., & Wallen, L. A. (1986). Proving properties of logic programs: summary of progress. (DAI research paper No. 312).

Vancouver

Bundy A, Wallen LA. Proving properties of logic programs: summary of progress. 1986 Sep. (DAI research paper No. 312).

Author

Bundy, Alan ; Wallen, L. A. / Proving properties of logic programs: summary of progress. 1986. (DAI research paper No. 312).