Institution-independent logic programming paradigms Dorel Lucanu Institution-independent logic programming paradigms PDF Muenchenwiler BIB
