Attila Csenki

• Dependability for systems with a partitioned state space
• Applications of Prolog
• Prolog Techniques