Knowledge-Oriented Programming (Extended Abstract). - Yoram Moses; Orit Kislev (PODC, 1993)