Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity.

Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas

Browse the full ICCCI paper archive.