Unifying logic, topology and learning in Parametric logic - Martin, E. (2014)
10.1016/j.tcs.2005.10.018