Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs.
Specification, Algebra, and Software
630-656
2014
provenance information for RDF data of dblp record 'conf/birthday/OgataF14'
2017-05-23T01:06:45+0200