Anders Gammelgaard, Jens E. Kristensen. Interaction detection, a logical approach. In Wiet Bouma, Hugo Velthuijsen, editors, Feature Interactions in Telecommunications Systems, May 8-10, 1994, Amsterdam, The Netherlands. pages 178-196, IOS Press, 1994.
Abstract is missing.