Stem karp$ (all stems)

4 papers:

CSL-2008-BeyersdorffM #bound

A Tight Karp-Lipton Collapse Result in Bounded Arithmetic (OB, SM), pp. 199–214.

DAC-1995-ShenHC #composition #set

Lambda Set Selection in Roth-Karp Decomposition for LUT-Based FPGA Technology Mapping (WZS, JDH, SMC), pp. 65–69.

CAV-1990-BarbeauB #specification

Extension of the Karp and Miller Procedure to Lotos Specifications (MB, GvB), pp. 333–342.

ICALP-1987-Finkel

A Generalization of the Procedure of Karp and Miller to Well Structured Transition Systems (AF), pp. 499–508.