Incorporating Decision Procedures in Implicit Induction
Alessandro Armando, Michaël Rusinowitch, Sorin StratulatVolume:
34
Year:
2002
Language:
english
Pages:
18
DOI:
10.1006/jsco.2002.0549
File:
PDF, 353 KB
english, 2002