Login / Signup

Refined Mark(s)-Set-Based Backtrack Literal Selection for and Parallelism in Logic Programs.

Do-Hyung KimKwang-Moo ChoeTaisook Han
Published in: Parallel Process. Lett. (1992)
Keyphrases