Used together with:
atp
(2)
casc
(2)
system
(2)
competit
(2)
Stem
ijcar$ (
all stems
)
2 papers:
IJCAR-2008-Sutcliffe
#contest
CASC-J4 The 4th IJCAR ATP System Competition (
GS
), pp. 457–458.
IJCAR-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
.