Proof-number search

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

Research output: Contribution to journalArticleProfessional

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

Cite this