依赖公理约简的经典规划方法
吕帅;;刘磊;石莲;魏唯;杨超
Classical Planning Methods Based on Axioms Reduction
LV Shuai;;LIU Lei;SHI Lian;WEI Wei;YANG Chao
电子学报 . 2011, (2): 322 -328 .