Constraint tableaux. Nualláin, B. Ó Position Papers presented at International Conference on Analytic Tableaux and Related Methods, Copenhagen, Denmark, 252:253--255, 2002.
bibtex   
@article{ o2002constraint,
  title = {Constraint tableaux},
  author = {Ó~Nualláin, B.},
  journal = {Position Papers presented at International Conference on Analytic
                  Tableaux and Related Methods, Copenhagen, Denmark},
  volume = {252},
  pages = {253--255},
  year = {2002}
}

Downloads: 0