4 papers:
ICDAR-2011-ForcherADGR #semantics #towards- Semantic Logging: Towards Explanation-Aware DAS (BF, SA, AD, MG, TRB), pp. 1140–1144.
CSL-1998-RicheM #complexity #decidability- Belnap, Urquhart and Relevant Decidability & Complexity. “Das ist nicht Mathematik, das ist Theologie.” (JR, RKM), pp. 224–240.
DAC-1978-Willis #analysis #automation #design #named- DAS: An automated system to support design analysis (RRW), pp. 359–365.
ICSE-1978-Willis #analysis #automation #design #named- DAS: An Automated System to Support Design Analysis (RRW), pp. 109–115.