A Language for Writing Problem-Solving Programs. - Johns F. Rulifson; Richard J. Waldinger; Jan A. Derksen (IFIP Congress (1), 1971)

The QA4 language applied to robot planning. - Jan A. Derksen; Johns F. Rulifson; Richard J. Waldinger (AFIPS Fall Joint Computing Conference (2), 1972)