Pierre Tayrac ARC: An Extended ATMS Based on Directed CAT-Correct Resolution. 107-124 1990 conf/ecai/1990tms Truth Maintenance Systems (ECAI Workshop) db/conf/ecai/ecai1990tms.html#Tayrac90