Design of Knowiedge-Based Integrity Systems with ISL++.

James F. Peters, Sheela Ramanna, Elizabeth A. Unger

Browse the full SEKE paper archive.