Extensions of First Order Logic (1996)

by Maria Manzano