Selecting the Backtrack Literal in the AND/OR Model

@inproceedings{Woo1986SelectingTB,
  title={Selecting the Backtrack Literal in the AND/OR Model},
  author={Nam Sung Woo and Kwang-Moo Choe},
  booktitle={SLP},
  year={1986}
}