Interaction detection, a logical approach

@inproceedings{Gammelgaard1994InteractionDA,
  title={Interaction detection, a logical approach},
  author={Anders Gammelgaard and Jens E. Kristensen},
  booktitle={FIW},
  year={1994}
}