%A Carol Helfgott LeDoux
%T A knowledge-based system for debugging concurrent software
%R Ph.D. thesis
%I University of California at Los Angeles
%K ucla
%D December 1985
%P 184
%K temporal logic, interval logic, YODA, Prolog, Ada