Pedro J. Martín Antonio Gavilanes Free-variable Tableaux for Monotonic PreordersI. 2001 9 Logic Journal of the IGPL 6 http://www3.oup.co.uk/igpl/Volume_09/Issue_06/#Martin db/journals/igpl/igpl9.html#MartinG01