Multi-agent proof-planning (1998)

by M Fisher, A Ireland
Venue:in: CADE-15 Workshop “Using AI Methods in Deduction