Modular and Certified Semantic Labeling and Unlabeling

Christian Sternagel and René Thiemann
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011), Leibniz International Proceedings in Informatics 10, pp. 329 – 344, 2011.

abstract   BibTeX   PDF   doi:10.4230/LIPIcs.RTA.2011.329  
Creative Commons License – NC – ND