Thomas Drakengren, Peter Jonsson:
Reasoning about Set Constraints Applied to Tractable Inference in Intuitionisti  c Logic.
Accepted by Journal of Logic and Computation.

Tianruo Yang, Zebo Peng:
An Improved Register-Transfer Level Functional Partioning Approach for Testabil  ity.
Accepted for Fifth IEEE International Test Synthesis Workshop at Red Lion Resor  t, Santa Barbara, CA, USA, March 9-11, 1998.