Proof-number search

L.V. Allis, M. van der Meulen, H.J. van den Herik

Research output: Contribution to journalArticleProfessional

Original languageEnglish
Pages (from-to)91-124
Number of pages34
JournalArtificial Intelligence
Volume66
Issue number1
Publication statusPublished - 1994
Externally publishedYes

Cite this

Allis, L. V., van der Meulen, M., & van den Herik, H. J. (1994). Proof-number search. Artificial Intelligence, 66(1), 91-124.
Allis, L.V. ; van der Meulen, M. ; van den Herik, H.J. / Proof-number search. In: Artificial Intelligence. 1994 ; Vol. 66, No. 1. pp. 91-124.
@article{a16d8c107f4d4470b1d0ace3420d9692,
title = "Proof-number search",
author = "L.V. Allis and {van der Meulen}, M. and {van den Herik}, H.J.",
note = "Pagination: 34",
year = "1994",
language = "English",
volume = "66",
pages = "91--124",
journal = "Artificial intelligence: an international journal",
issn = "0004-3702",
publisher = "Elsevier",
number = "1",

}

Allis, LV, van der Meulen, M & van den Herik, HJ 1994, 'Proof-number search', Artificial Intelligence, vol. 66, no. 1, pp. 91-124.

Proof-number search. / Allis, L.V.; van der Meulen, M.; van den Herik, H.J.

In: Artificial Intelligence, Vol. 66, No. 1, 1994, p. 91-124.

Research output: Contribution to journalArticleProfessional

TY - JOUR

T1 - Proof-number search

AU - Allis, L.V.

AU - van der Meulen, M.

AU - van den Herik, H.J.

N1 - Pagination: 34

PY - 1994

Y1 - 1994

M3 - Article

VL - 66

SP - 91

EP - 124

JO - Artificial intelligence: an international journal

JF - Artificial intelligence: an international journal

SN - 0004-3702

IS - 1

ER -

Allis LV, van der Meulen M, van den Herik HJ. Proof-number search. Artificial Intelligence. 1994;66(1):91-124.