A Purely Logical Account of Sequentiality in Proof Search

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

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

Cite this