A Formula Circumscriptively both Valid and Unprovable. - Philippe Besnard; Jean Houdebine; Raymond Rolland (ECAI, 1988)