An algebraic semantics for structured transition systems and its application to logic programs, Theoret (1992)

by A Corradini, U Montanari
Venue:Comput. Sci