Representing First-Order Causal Theories by Logic Programs

Open in new window