Complexity of Computing with Extended Propositional Logic Programs

V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski. Complexity of Computing with Extended Propositional Logic Programs. In Structural Complexity and Recursion-theoretic methods in Logic-Programming. pages 93-102, 1992.

Authors

V. Wiktor Marek

This author has not been identified. Look up 'V. Wiktor Marek' in Google

Arcot Rajasekar

This author has not been identified. Look up 'Arcot Rajasekar' in Google

Miroslaw Truszczynski

This author has not been identified. Look up 'Miroslaw Truszczynski' in Google