BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
atp (2)
ijcar (2)
system (2)
competit (2)

Stem casc$ (all stems)

2 papers:

IJCARIJCAR-2008-Sutcliffe #contest
CASC-J4 The 4th IJCAR ATP System Competition (GS), pp. 457–458.
IJCARIJCAR-2006-Sutcliffe #contest #named
CASC-J3 — The 3rd IJCAR ATP System Competition (GS), pp. 572–573.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.