http://dbpedia.org/resource/Least_fixed-point_logic Least fixed-point logic