-J.P. Martins/M. Reinfrank (Eds.): Truth Maintenance System - Subseries LNAI, Springer-Verlag Proceedings 1990