Grigori Mints: Some Formal Systems of the Logic Programming. FCT 1987: 318-322