http://dbpedia.org/resource/Partial_fixed-point_logic Partial fixed-point logic