Skip to content. | Skip to navigation
The paper describes some of the main concepts in OKKAM
http://www.disi.unitn.eu/~velgias/papers/PCAV08.pdf