Christian Schönberg, Franz Weitl, Burkhard Freitag. Verifying the consistency of web-based technical documentations. Journal of Symbolic Computation, 46(2):183-206, 2011. [doi]
@article{SchonbergWF11, title = {Verifying the consistency of web-based technical documentations}, author = {Christian Schönberg and Franz Weitl and Burkhard Freitag}, year = {2011}, doi = {10.1016/j.jsc.2010.08.007}, url = {http://dx.doi.org/10.1016/j.jsc.2010.08.007}, tags = {rule-based, consistency}, researchr = {https://researchr.org/publication/SchonbergWF11}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {46}, number = {2}, pages = {183-206}, }