Stem shostak$ (all stems)

7 papers:

TACAS-2011-ConchonCI #modulo theories

Canonized Rewriting and Ground AC Completion Modulo Shostak Theories (SC, EC, MI), pp. 45–59.

CADE-2003-GanzingerHW

Superposition Modulo a Shostak Theory (HG, TH, UW), pp. 182–196.

CADE-2002-Ganzinger

Shostak Light (HG), pp. 332–346.

RTA-2002-ShankarR

Combining Shostak Theories (NS, HR), pp. 1–18.

LICS-2001-RuessS

Deconstructing Shostak (HR, NS), pp. 19–28.

RTA-1997-Kapur #congruence

Shostak’s Congruence Closure as Completion (DK), pp. 23–37.

CADE-1996-CyrlukLS #on the

On Shostak’s Decision Procedure for Combinations of Theories (DC, PL, NS), pp. 463–477.