Representing and reasoning with operational semantics (0)

by D Miller
Venue:IJCAR, Lecture Notes in Computer Science 4130 (2006