The Expressivity of Quantifying over Regions Ernest Davis March 20, 2007.
User Scenario based UI testing with KIF
Bucharest, June 2002 WHOIS Task Force Report June 2002.
WDO-It! 101 Workshop: Creating an abstraction of a process UTEP’s Trust Laboratory NDR HP MP.