Algorithms sigma for L-standard State Graphs: Results About Termination and Admissibility.

Henri Farreny Algorithms sigma for L-standard State Graphs: Results About Termination and Admissibility. 41-50 1996 conf/sbia/1996 SBIA db/conf/sbia/sbia96.html#Farreny96