Truth Maintenance Systems for Problem Solving AI-TR-419 (1978)

by Jori Doylc