next up previous contents
Next: A Motivating Example Up: An Algorithm for Default Previous: An Algorithm for Default

Definitions


Helge Grenager Solheim
Sat May 4 03:30:02 MET DST 1996