Including Diagnostic Information in Configuration Models

Reference:

Tommi Syrjänen. Including diagnostic information in configuration models. In Proceedings of the First International Conference on Computational Logic, London, UK, July 2000. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{CL00:syrjanen,
    address = {London, UK},
    author = {Tommi Syrj\"anen},
    booktitle = {Proceedings of the First International Conference on Computational Logic},
    month = {July},
    publisher = {{Springer-Verlag}},
    title = {Including Diagnostic Information in Configuration Models},
    year = {2000},
}