Reasoning under incomplete information in artificial intelligence : a comparison of formalisms usinga single example - Sombe, Lea (Wiley professional computing, 1990)