Logics for (1984)

by R Turner
Venue:Artificial Intelligence, Ellis Horwood