Edinburgh Research Explorer

Proving properties of logic programs: A Progress Report

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Proving properties of logic programs: A Progress Report. / Bundy, Alan; Wallen, L. A.; Sannella, D.; Desimone, R.; Guinchiglia, F.; van Harmelen, F.; Hesketh, J.; Madden, P.; Smaill, A.; Stevens, A.

1988 Alvey Conference. Vol. UK IT88 1988.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Bundy, A, Wallen, LA, Sannella, D, Desimone, R, Guinchiglia, F, van Harmelen, F, Hesketh, J, Madden, P, Smaill, A & Stevens, A 1988, Proving properties of logic programs: A Progress Report. in 1988 Alvey Conference. vol. UK IT88.

APA

Bundy, A., Wallen, L. A., Sannella, D., Desimone, R., Guinchiglia, F., van Harmelen, F., ... Stevens, A. (1988). Proving properties of logic programs: A Progress Report. In 1988 Alvey Conference (Vol. UK IT88)

Vancouver

Bundy A, Wallen LA, Sannella D, Desimone R, Guinchiglia F, van Harmelen F et al. Proving properties of logic programs: A Progress Report. In 1988 Alvey Conference. Vol. UK IT88. 1988.

Author

Bundy, Alan ; Wallen, L. A. ; Sannella, D. ; Desimone, R. ; Guinchiglia, F. ; van Harmelen, F. ; Hesketh, J. ; Madden, P. ; Smaill, A. ; Stevens, A./ Proving properties of logic programs: A Progress Report. 1988 Alvey Conference. Vol. UK IT88 1988.