TY  - BOOK
AU  - Corradini, Andrea
TI  - Algebraic Semantics for Transition Systems and Logic Programming
U1  - 006.3363 
PY  - 1990///
CY  - Genova
PB  - Dipartumento di informatica Universita di Pisa
ER  -