Annotated Revision Specification Programs

Melvin Fitting. Annotated Revision Specification Programs. In V. Wiktor Marek, Anil Nerode, editors, Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR 95, Lexington, KY, USA, June 26-28, 1995, Proceedings. Volume 928 of Lecture Notes in Computer Science, pages 143-155, Springer, 1995.

Authors

Melvin Fitting

This author has not been identified. Look up 'Melvin Fitting' in Google