»Toward a Standard Rule Language for Semantic Integration of the DoD Enterprise
»STI Innsbruck - Using F-Logic for Modelling Test Cars