应用逻辑实验室<English> 美国杨柏翰大学计算机科学系的一个研究单位。 lal.cs.byu.edu 237. 阿里阿德涅的线索