Logic Based Information System Specification Verification. - Waldo C. Kabat; Wojtek Kozaczynski; Vicki Lovegren (ICIS, 1986)