@杂项{zbMATH03664339,作者={van Emden,M.H.},Title={关系方程、语法和程序},年份={1977年},语言={英语},HowPublished={Proc.{Conf}。理论计算机科学,{滑铁卢}/{安大略}1977,191-201(1977)。},关键词={68Q65,03B10,68Q60,68Q45},zbMATH={3664339},Zbl={0426.68005}}