Michael C. Chen, Lawrence J. Henschen. Assumption analysis in compiled logic-based decision support systems (LDSSs) (abstract only). In Terry M. Walker, Wayne D. Dominick, editors, Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985. pages 429, ACM, 1985. [doi]