A logic-based approach to model computees (2003)

by A Kakas, P Mancarella, F Sadri, K Stathis, F Toni