Alferes, J. J. A. &
Pereira, L. M.,
1 Jan 2002,
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski. Kakas, A. C. & Sadri, F. (eds.). Springer:
Springer,
Vol. 2408.
p. 382-412 31 p. (Lecture Notes in Computer Science; no. 2408).
Research output: Chapter in Book/Report/Conference proceeding › Chapter