Davor Obradovic. A taxonomy of logical network analysis techniques (2000)

by Karthikeyan Bhargavan, Carl A Gunter