On the Accuracy and Running Time of GSAT. - Deborah East; Miroslaw Truszczynski (EPIA, 1999)

DATALOG with Constraints - An Answer-Set Programming System. - Deborah East; Miroslaw Truszczynski (AAAI/IAAI, 2000)

dcs: An Implementation of DATALOG with Constraints - Deborah East; Miroslaw Truszczynski (CoRR, 2000)

More on Wire Routing with ASP. - Deborah East; Miroslaw Truszczynski (Answer Set Programming, 2001)

Propositional Satisfiability in Answer-Set Programming. - Deborah East; Miroslaw Truszczynski (KI/ÖGAI, 2001)

aspps - An Implementation of Answer-Set Programming with Propositional Schemata. - Deborah East; Miroslaw Truszczynski (LPNMR, 2001)

The aspps System. - Deborah East; Miroslaw Truszczynski (JELIA, 2002)

Propositional satisfiability in declarative programming - Deborah East; Miroslaw Truszczynski (CoRR, 2002)

Tools for modeling and solving search problems. - Deborah East; Mikhail Iakhiaev; Artur Mikitiuk; Miroslaw Truszczynski (AI Commun., 2006)

Predicate-calculus-based logics for modeling and solving search problems. - Deborah East; Miroslaw Truszczynski (ACM Trans. Comput. Log., 2006)