Checking conservativity with Hets

@inproceedings{pub6915,
    author = {

Codescu, Mihai
 and 

Mossakowski, Till
 and 

Maeder, Christian
},
    title = {Checking conservativity with Hets},
    booktitle = {Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13), September 3-6, Warsaw, Poland},
    year = {2013}
}