@misc{indiciae0ffa5542aa60, title = {A Framework for Dynamic Constraint Reasoning Using Procedural Constraints}, author = {Jonsson, Ari K. and Frank, Jeremy D.}, year = {1999}, url = {https://ntrs.nasa.gov/citations/20000092054}, note = {Source identifier: 20000092054} }