Pierre Tayrac

ARC: An Extended ATMS Based on Directed CAT-Correct Resolution

Pierre Tayrac, 1990, Truth Maintenance Systems.

Etude de nouvelles stratégies de résolution : application à l'ATMS

Pierre Tayrac, 1990 .