LOGIC, LANGUAGE AND REASONING - OHLBACH H.J. (ED.) (LONDON : KLUWER ACADEMIC PUBLISHERS, 1999)
Keywords: LOGIC PROGRAMMING : REASONING