Logic programs with classical negation, in: D.H.D.Warren and P.Szeredi (Eds (1990)

by M Gelfond, V Lifschitz
Venue:Proc. of the 7th International Conference on Logic Programming
Add To MetaCart
Results 1 - 1 of 1

On The Correctness Of Unfold/fold Transformation Of Normal And Extended Logic Programs

by Chandrabose Aravindan, Phan Minh Dung - JOURNAL OF LOGIC PROGRAMMING , 1995
"... ..."
Abstract - Cited by 24 (1 self) - Add to MetaCart
Abstract not found