Added citations to guarded recursion section.