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'
2018-03-03T00:07:35+0100