A Purely Logical Account of Sequentiality in Proof Search

Research output: Chapter in Book/Report/Conference proceedingChapter in a published conference proceeding

34 Citations (SciVal)
Original languageEnglish
Title of host publicationLogic Programming 18th International Conference
EditorsPeter J Stuckey
PublisherSpringer Verlag
Pages302-316
Number of pages15
Volume2401
EditionLecture Notes in Artificial Intelligence
Publication statusPublished - 31 Dec 2002

Cite this