Fixpoint extensions of first-order logic and datalog-like languages | IEEE Conference Publication | IEEE Xplore