A Logic Language Based on GAMMA-Like Multiset Rewriting.

Paolo Ciancarini Daniela Fogli Mauro Gaspari A Logic Language Based on GAMMA-Like Multiset Rewriting. 125-138 1995 conf/agp/1995 GULP-PRODE db/conf/agp/gulp-prode1995.html#CiancariniFG95