Christian Schönberg, Franz Weitl, Mirjana Jaksic, Burkhard Freitag. Logic-based verification of technical documentation. In Uwe M. Borghoff, Boris Chidlovskii, editors, Proceedings of the 2009 ACM Symposium on Document Engineering, Munich, Germany, September 16-18, 2009. pages 251-252, ACM, 2009. [doi]
Abstract is missing.